منابع مشابه
Point-free Substitution
0 Introduction In modern treatments of predicate calculus [2], no mention is made of states or variables up until the point where substitution is introduced. There, suddenly, the abstraction that reigned before is cast to the winds, and a substitution is defined as the result of a textual replacement of variable names by expressions. It is the purpose of this note to remedy this breach of style...
متن کاملSolvent-free Substitution Reactions of Solid Phosphines
Reactions of (η-RC5H4)Fe(CO)2I (R = H, Me) complexes with phosphine ligands PR′3 (R′ = Ph, m-Tol, p-C6H4OMe, p-C6H4Cl, p-C6H4F) have been performed under solvent-free conditions in the melt phase and generally yielded the ionic products [(η5-RC5H4)Fe(CO)2PR′3]I rather than the CO substituted products (η5-RC5H4)Fe(CO)(PR′3)I. The complexes have been characterised by IR, NMR and MS techniques. By...
متن کاملPoint-sensitive and point-free patch constructions
Using the category of frames we consider various generalizations of the patch space of a topological space. Some of these constructions are old and some are new. We consider how these variants interact and under what circumstances they agree.
متن کاملPoint-free Program Transformation
Functional programs are particularly well suited to formal manipulation by equational reasoning. In particular, it is straightforward to use calculational methods for program transformation. Well-known transformation techniques, like tupling or the introduction of accumulating parameters, can be implemented using calculation through the use of the fusion (or promotion) strategy. In this paper w...
متن کاملGeneric Point-free Lenses
Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional transformation with view-update, denoted a lens, encompasses the definition of a forward transformation projecting concrete models into abstract views, together with a backward transformation instructing how to translate an abstract view to an update over concrete models. In t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1996
ISSN: 0167-6423
DOI: 10.1016/0167-6423(96)00010-x